Generic embeddings associated to an indestructibly weakly compact cardinal

نویسنده

  • Gunter Fuchs
چکیده

I use generic embeddings induced by generic normal measures on Pκ(λ) that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be used in order to obtain the forcing axioms MA(<μ-closed) in forcing extensions. This has consequences in V: The singular cardinal hypothesis holds above κ, and κ has a useful Jónsson-like property. This, in turn, implies that the countable tower Q<κ works much like it does when κ is a Woodin limit of Woodin cardinals. One consequence is that every set of reals in the Chang model satisfies the regularity properties. So indestructibly weak compactness has effects on the cardinal arithmetic high up and also on the structure of the sets of real numbers, down low, similar to supercompactness.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Measurable Cardinals and the Cardinality of Lindelöf Spaces

We obtain from the consistency of the existence of a measurable cardinal the consistency of “small” upper bounds on the cardinality of a large class of Lindelöf spaces whose singletons are Gδ sets. Call a topological space in which each singleton is a Gδ set a points Gδ space. A.V. Arhangel’skii proved that any points Gδ Lindelöf space must have cardinality less than the least measurable cardin...

متن کامل

Hod-supercompactness, Indestructibility, and Level by Level Equivalence

In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...

متن کامل

Indestructibility, instances of strong compactness, and level by level inequivalence

Suppose λ > κ is measurable. We show that if κ is either indestructibly supercompact or indestructibly strong, then A = {δ < κ | δ is measurable, yet δ is neither δ+ strongly compact nor a limit of measurable cardinals} must be unbounded in κ. The large cardinal hypothesis on λ is necessary, as we further demonstrate by constructing via forcing two models in which A = ∅. The first of these cont...

متن کامل

On certain maximality principles

‎We present streamlined proofs of certain maximality principles studied by Hamkins‎ ‎and Woodin‎. ‎Moreover‎, ‎we formulate an intermediate maximality principle‎, ‎which is‎ ‎shown here to be equiconsistent with the existence of a weakly compact cardinal $kappa$ such that $V_{kappa}prec V$‎.

متن کامل

Ramsey-like cardinals

One of the numerous characterizations of a Ramsey cardinal κ involves the existence of certain types of elementary embeddings for transitive sets of size κ satisfying a large fragment of ZFC. I introduce new large cardinal axioms generalizing the Ramsey elementary embeddings characterization and show that they form a natural hierarchy between weakly compact cardinals and measurable cardinals. T...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 162  شماره 

صفحات  -

تاریخ انتشار 2010